Mathematical logic - PDFSEARCH.IO - Document Search Engine

Mathematical logic
Results: 6679

#	Item
181	Quantifiers and Negation October 2, Reading Quantifiers Add to Reading List Source URL: math.colorado.edu Language: English - Date: 2015-12-04 19:21:57 Logic Quantification Mathematical logic Abstraction Semantics Predicate logic Universal quantification Existential quantification Quantifier FO Negation Constructible universe
182	Principled Evaluation of Differentially Private Algorithms Michael Hay∗ , Ashwin Machanavajjhala∗∗ , Gerome Miklau† , Yan Chen∗∗ , Dan Zhang† ∗ Colgate University, Department of Computer Science, mhay@col Add to Reading List Source URL: tpdp16.cse.buffalo.edu Language: English - Date: 2016-06-09 22:52:39 Theoretical computer science Algorithm Mathematical logic Analysis of algorithms Machine learning Mathematics Cognitive science
183	Falso: a simple, self-consistent logic Antoine Amarilli Club Inutile & Estatis, Inc. Scholarly Outreach Division 1 Accounting Dr., Mariana Trench, Intl. Waters Add to Reading List Source URL: www.ben-sherman.net Language: English - Date: 2016-08-02 11:41:55 Logic Mathematical logic Mathematics Automated theorem proving Model theory Proof theory Complexity classes Logical connectives NP IP Negation Coq
184	Query Optimization for Semistructured Data using Path Constraints in a Deterministic Data Model Peter Buneman University of Pennsylvania Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2006-12-31 07:06:14 Theoretical computer science Operations research Logic in computer science Mathematical optimization Rewriting Mathematics
185	Learning Partially Observable Action Models: Efficient Algorithms Dafna Shahaf Allen Chang Eyal Amir Computer Science Department University of Illinois, Urbana-Champaign Urbana, IL 61801, USA {dshahaf2,achang6,eyal}@uiuc Add to Reading List Source URL: www.cs.huji.ac.il Language: English - Date: 2010-08-28 23:41:19 Theoretical computer science Mathematical logic Mathematics Logic in computer science Boolean algebra Logic programming Automated planning and scheduling Formal methods Situation calculus Planning Domain Definition Language Boolean satisfiability problem Conjunctive normal form
186	Jeremy Avigad PERSONAL DATA Born January 9, 1968, New York, N.Y. Citizenship: USA. ADDRESS Department of Philosophy Carnegie Mellon University Add to Reading List Source URL: www.andrew.cmu.edu Language: English - Date: 2016-08-20 23:21:44 Logic Mathematics Philosophy Logic in computer science Automated theorem proving Formal sciences Formal methods Mathematical logic Proof theory Automated reasoning Formal epistemology Foundations of mathematics
187	The lattice structure of sets of surjective hyper-operations Barnaby Martin? School of Engineering and Computing Sciences, Durham University Science Labs, South Road, Durham, DH1 3LE, UK Add to Reading List Source URL: www.bedewell.com Language: English - Date: 2010-06-17 08:45:52 Mathematics Mathematical analysis Functions and mappings Mathematical logic Bijection Surjective function FO Presentation of a group Image
188	Crafting a Proof Assistant Andrea Asperti, Claudio Sacerdoti Coen, Enrico Tassi, and Stefano Zacchiroli Department of Computer Science, University of Bologna Mura Anteo Zamboni, 7 – 40127 Bologna, ITALY {asperti,sacerd Add to Reading List Source URL: matita.cs.unibo.it Language: English - Date: 2007-05-25 11:04:16 Logic Computing Mathematics Automated theorem proving Proof theory Type theory Logical truth Syntax Matita Proof assistant Mathematical proof CurryHoward correspondence
189	Optimal Top-K Query Evaluation for Weighted Business Processes Daniel Deutch Tel Aviv University Tova Milo Add to Reading List Source URL: www.cs.tau.ac.il Language: English - Date: 2010-09-20 08:07:02 Mathematics Routing algorithms Combinatorial optimization Search algorithms Algorithm Mathematical logic Theoretical computer science Applied mathematics A* search algorithm
190	The key to blame: Gradual typing meets cryptography Jeremy Siek Philip Wadler Indiana University, USA Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2016-07-07 08:33:11 Theoretical computer science Mathematics Mathematical logic Logic in computer science Models of computation Lambda calculus Computability theory Valuation Denotational semantics Combinatory logic Holomorphic functional calculus

UPDATE